Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
151	Why Mathematical Proof? Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:20
152	Piotr KAŹMIERCZAK  +   http://piotrkazmierczak.com Munich, Germany Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-05 18:07:41 Non-classical logic Modal logic Modality Philosophical logic Logic Mathematical logic Haskell Proof theory Python
153	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
154	Appendix K: Bibliography [1] R. L. Wilder. Cultural Basis of Mathematics I, II, III http://www.gap-system.org/~history/Extras/Cultural_Basis_I.html http://www.gap-system.org/~history/Extras/Cultural_Basis_II.html http:// Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 Mathematics Computing Academia Algorithmic Number Theory Symposium Computational number theory OMDoc Mathematical logic Proof theory Gerald Schwarz Colette Rolland
155	Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-31 04:15:47 Constructivism Structure Mathematics Type theory Logic Constructive proof Axiom of choice Topos Mathematical logic Model theory Topology
156	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
157	Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:06 Logic Proof theory Mathematical logic Mathematics Proof mining Mathematical proof Consistency Constructive proof Formal proof Intuitionistic logic Approximation Type theory
158	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
159	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:21:17 Mathematical logic Quantification Logic Semantics Peano axioms Symbol Constructible universe Universal quantification Interpretation Uniform boundedness principle Witness Combinatory logic
160	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function

UPDATE